#ifndef __OS_MP_H
#define __OS_MP_H

#include<arch/config.h>

#ifdef ENABLE_SMP

#include<arch/mp.h>

#endif

#endif